AADL_SOURCES = $(srcdir)/minirocket_system.aadl
AADL_ROOT    = 

AADL_LIB = -I$(srcdir)/../common

include $(srcdir)/../../Makefile.common

AVAILABLE_TARGETS= parse-aadl 

OTHER_FILES = $(srcdir)/minirocket_sw.aadl
